| |
| description |
114 pages
|
|
Die vorliegende Arbeit stellt einige Ergebnisse zusammen, welche das
Verhältnis verschiedener Berechenbarkeitsmodelle zueinander
betreffen. Hierbei wird einerseits der Zusatzaufwand (im Bezug auf
die Zeitkomplexität) bei der gegenseitigen Simulation solcher
Modelle untersucht. Andererseits werden untere Schranken bewiesen
oder auch die Unmöglichkeit einer Simulation. Diese Untersuchungen
lassen sich einem Bereich zuordnen, der als konkrete
Komplexitätstheorie bezeichnet wird.
|
| publisher |
Stuttgart, Germany, Universität Stuttgart
|
| type |
Text
|
| Postdoctoral Qualification
|
| source |
ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/HABIL-2003-02/HABIL-2003-02.pdf
|
| contributor |
FMI, Theoretische Informatik
|
| format |
application/pdf
|
| 728538 Bytes
|
| subject |
Models of Computation (CR F.1.1)
|
| Complexity Measures and Classes (CR F.1.3)
|
| Mathematical Logic (CR F.4.1)
|
| Komplexitätstheorie
|
| Berechnungskomplexität
|